Hahn - Banach Theorem Bogdan Nowak

(2)1 For every set X and for all functions f , g such that X ⊆ dom f and f ⊆ g holds f X = g X . (3) For every non empty set A and for every set b such that A 6= {b} there exists an element a of A such that a 6= b. (4) For all sets X , Y holds every non empty subset of X→̇Y is a non empty functional set. (5) Let B be a non empty functional set and f be a function. Suppose f = ⋃ B. Then dom f = ⋃ {domg : g ranges over elements of B} and rng f = ⋃ {rngg : g ranges over elements of B}.